module assertion_boolean();

wire ce, en;
wire [7:0] addr;

// This code will not compile
(en && ce && addr < 100);


endmodule
